81. Fallacies and pitfalls of language: the language trap
پدیدآورنده : Engel, S. Morris
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع : ، Language and logic,، Verbal self-defense
رده :
P
39
.
E53
1994
82. Foundations of logic and language
پدیدآورنده : / edited by Pranab Kumar Sen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Language and logic
رده :
BC
57
.
F6
1990
83. Foundations of logic and linguistics: problems and their solutions
پدیدآورنده : edited by Georg Dorn and P. Weingartner
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (تهران)
موضوع : Logic,Logic, Symbolic and mathematical,Language and logic,Language and languages
رده :
BC
5
.
F68
1985
84. Foundations of logic and linguistics : problems and their solutions
پدیدآورنده : edited by Georg Dorn and P. Weingartner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Language and logic,Philosophy -- Congresses ، Language and languages
رده :
BC
5
.
I56
1985
85. Frege :
پدیدآورنده : Michael Beaney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
86. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
87. From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory
پدیدآورنده : Kamp, Hans.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Language and logic,، Semantics )Philosophy(,، Meaning )Philosophy(
رده :
BC
57
.
K3F7
88. From natural language processing to logic for expert systems
پدیدآورنده : / editor Andre Thayse authors Jean -Louis Binot.. [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Natural language prodceeing (Computer science),Expert systems -- (Computer science),Logic, Symbolic and mathematical,Artificial intelligence
رده :
QA
76
.
9
.
N38F76
1991
89. From signs to propositions: The concept of form in eighteenth-century semantic theory
پدیدآورنده : Land, Stephen K.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Semantics,Philosophy ، Language and languages,81th century - History ، Linguistics,، Logic, Symbolic and mathematical.,81th century ، Philosophy, Modern
رده :
P
325
.
L3F7
90. From signs to propositions: the concept of form in eighteenth-century semantic theory
پدیدآورنده : Stephen K. Land
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (تهران)
موضوع : Semantics,Language and languages,Linguistics,Logic, Symbolic and mathematical
رده :
P
325
.
L29
1974
91. Fundamentals of Digital Logic with Verilog design
پدیدآورنده : / by Stephen Brown and Zvonko Vranesic
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic circuits--Design and construction- Data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK7868
.
L6B71
2014
92. Fundamentals of digital logic with VHDL design
پدیدآورنده : Stephen Brown and Zvonko Vranesic
موضوع : Logic circuits, Design and construction, Data processing,Logic design, Data processing,VHDL (Computer hardware description language)
۵ نسخه از این کتاب در ۳ کتابخانه موجود است.
93. Fundamentals of digital logic with Verilog design
پدیدآورنده : / Stephen Brown, Zvonko Vranesic
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Logic circuits--Design and construction--Data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK7868
.
L6B76
94. Fundamentals of digital logic with Verilog design
پدیدآورنده : / Stephen Brown and Zvonko Vranesic
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Logic circuits--Design and construction--Data processing.,Verilog (Computer hardware description language),Computer-aided design.
رده :
TK
7868
.
L6
B76
2008
95. Fundamentals of digital logic with Verilog design
پدیدآورنده : Brown, Stephen D.
موضوع : ، Logic circuits-- Design and construction-- Data processing,، Verilog )Computer hardware description language(,، Computer-aided design
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
96. Fundamentals of digital logic with Verilog design
پدیدآورنده : Stephen Brown and Zvonko Vranesic,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Logic circuits, Design and construction, Data processing,Verilog )Computer hardware description language(,Computer-aided design
رده :
TK
.
B76
7888
.
4
1383
97. Fundamentals of digital logic with Verilog design
پدیدآورنده : / Stephen Brown and Zvonko Vranesic,Brown
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Logic circuits -- Design and construction -- Data processing,Verilog (Computer hardware description language),Computer - aided design
رده :
TK
7868
.
L6B76
98. Fundamentals of digital logic with Verilog design
پدیدآورنده : / Stephen Brown
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Logic circuits -- Design and construction -- Data processing,Verilog (Computer hardware description language)
رده :
TK
7888
.
4
.
B7
99. Fundamentals of digital logic with Verilog design
پدیدآورنده : / Stephen Brown and Zvonko Vranesic, Department of Electrical and Computer Engineering, University of Toronto
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Logic circuits--Design and construction--Data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK7868
.
L6B76
2016
100. Fundamentals of digital logic with Verilog design
پدیدآورنده : / Stephen Brown and Zvonko Vranesic
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Logic circuits--Design and construction--Data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK7868
.
L6
B76
